char	s[ ] = {
	9, 
	48, 
	10, 
	125, 
	59, 
	10, 
	10, 
	47, 
	42, 
	10, 
	32, 
	42, 
	32, 
	84, 
	104, 
	101, 
	32, 
	115, 
	116, 
	114, 
	105, 
	110, 
	103, 
	32, 
	115, 
	32, 
	105, 
	115, 
	32, 
	97, 
	10, 
	32, 
	42, 
	32, 
	114, 
	101, 
	112, 
	114, 
	101, 
	115, 
	101, 
	110, 
	116, 
	97, 
	116, 
	105, 
	111, 
	110, 
	32, 
	111, 
	102, 
	32, 
	116, 
	104, 
	101, 
	32, 
	98, 
	111, 
	100, 
	121, 
	10, 
	32, 
	42, 
	32, 
	111, 
	102, 
	32, 
	116, 
	104, 
	105, 
	115, 
	32, 
	112, 
	114, 
	111, 
	103, 
	114, 
	97, 
	109, 
	32, 
	102, 
	114, 
	111, 
	109, 
	32, 
	39, 
	48, 
	39, 
	10, 
	32, 
	42, 
	32, 
	116, 
	111, 
	32, 
	116, 
	104, 
	101, 
	32, 
	101, 
	110, 
	100, 
	46, 
	10, 
	32, 
	42, 
	47, 
	10, 
	10, 
	109, 
	97, 
	105, 
	110, 
	40, 
	32, 
	41, 
	10, 
	123, 
	10, 
	9, 
	105, 
	110, 
	116, 
	32, 
	105, 
	59, 
	10, 
	10, 
	9, 
	112, 
	114, 
	105, 
	110, 
	116, 
	102, 
	40, 
	34, 
	99, 
	104, 
	97, 
	114, 
	92, 
	116, 
	115, 
	91, 
	32, 
	93, 
	32, 
	61, 
	32, 
	123, 
	92, 
	110, 
	34, 
	41, 
	59, 
	10, 
	9, 
	102, 
	111, 
	114, 
	40, 
	105, 
	61, 
	48, 
	59, 
	32, 
	115, 
	91, 
	105, 
	93, 
	59, 
	32, 
	105, 
	43, 
	43, 
	41, 
	10, 
	9, 
	9, 
	112, 
	114, 
	105, 
	110, 
	116, 
	102, 
	40, 
	34, 
	92, 
	116, 
	37, 
	100, 
	44, 
	32, 
	92, 
	110, 
	34, 
	44, 
	32, 
	115, 
	91, 
	105, 
	93, 
	41, 
	59, 
	10, 
	9, 
	112, 
	114, 
	105, 
	110, 
	116, 
	102, 
	40, 
	34, 
	37, 
	115, 
	34, 
	44, 
	115, 
	41, 
	59, 
	10, 
	125, 
	10, 
	0
};

/*
 * The string s is a
 * representation of the body
 * of this program from '0'
 * to the end.
 */

main( )
{
	int i;

	printf("char\ts[ ] = {\n");
	for(i=0; s[i]; i++)
		printf("\t%d, \n", s[i]);
	printf("%s",s);
}
